Author: John C Moritz Austin Bureau USA TODAY NETWORK, USATNetwork

The explosion shook other buildings about 4:30 a.m., with reports on Twitter of a boom felt across the city.