Heraldo de Madrid - Trump: Pentagon heißt wieder "Kriegsministerium"