The Body Mass Index Values of Mid-Nineteenth-Century West Point Cadets