Mickey Leland International Terminal, George Bush Intercontinental Airport, Houston