Military Workout Remixed: Running Cadences of the U.S. Military