A Naval Biographical Dictionary/Rogers, Thomas