Reequipamiento de la marina brasileña. Brasil adquirió un portaaviones