Trump says the suggestion to send US troops to Mexico was "a joke". I doubt that any Mexican would find it funny. One name the Mexicans have for the Mexican-American War of 1845 is "La guerra de agresión", which should not need translation.