Hornsby, Thomas, FRS; astronomer