A Naval Biographical Dictionary/Ritchie, Thomas