The U.S. Military Intervention in Panama: Origins, Planning, and Crisis Management, June 1987-December 1989