20160815 world.us: 2 terminals at JFK airport resuming operations after scare