Four military jets just flew over Ballston (at 15:18) heading west-northwest. Might have been departing a funeral flyover at Arlington. Looked pretty cool.