Sonic boom heard in Washington DC caused by military jets chasing plane which crashed

A loud boom in the Washington DC area which residents of the US capital said shook houses and sounded like an explosion was caused by military jets which had been scrambled to deal with an airspace violation.