A Naval Biographical Dictionary/Lavington, Thomas