John Barrow — English mathematician, naval historian and lexicographer