Washington wakes up to wha? Minor earthquake rattles the DC area; no injuries reported