A florida airport, previously known as palm beach airport, has been officially renamed after trump. The airport's code, PBI, will still be used, at least for now. The renaming has been made official, with the new name being some variation of donald j. trump international airport.