A Naval Biographical Dictionary/Raven, Michael