Gros navire, gros symbole : le cuirassé Trump, arme électorale plus que militaire