Thomas Havelock — English mathematician