John Magruder — United States general