Or the Navy and Marines would have been deployed. Or at least 2 F-16s, which seems to be SOP.

http://www.cbsnews.com/stories/2011/...20106288.shtml