A florida airport, previously known as palm beach international airport, has been officially renamed after donald j trump. The airport's code, PBI, will still be used, at least for now. The renaming has taken effect, with the faa beginning the transition and some flights already arriving at the newly named airport.