Sir John Heydon — English Royalist military commander and mathematician