El presidente Trump dijo que podría cambiar el nombre del océano Pacífico o del Atlántico por «océano Trump».