How long was the career of the Marine Corps major general who grew up in the Butler house?