William Chauvenet, mathematician and astronomer