Does anyone know how many of the American Presidents were boxers? I know Theodore Roosevelt boxed in college and continued to even in the White House. Just wondering, thank you.