Jogo de Trump na Venezuela tem porta-aviões nuclear de US$ 13 bilhões