“the destruction of Manila in World War II, 3 February-3 March 1945”