A Mapped History of US Military Interventions