A Naval Biographical Dictionary/Edmonds, Thomas