20170531 world.us: orlando airport terminal closed after reports of armed man