A Naval Biographical Dictionary/Richmond, Thomas