¿Qué dos países continúan teóricamente aún en una guerra en la cual participaron también los EEUU?