¿Cómo va a llamar Trump a su nuevo "acorazado"?