Flughafen Madeira wird in Christiano Ronaldo Airport umbenannt.