A Naval Biographical Dictionary/Deans, Robert