John Washington — British Royal Navy officer and hydrographer (1800-1863)