A florida airport has been renamed after trump, with the new name being donald j trump international airport, although the airport code will remain the same for now. The renaming has garnered reactions from travelers. Meanwhile, unrelated international news includes a breakthrough in a sudan investigation and various international sports events, including cricket and olympic bids.