Wie viele US-Army-Soldaten sind infolge des Mexikanisch-Amerikanischen Krieges gestorben?