A Naval Biographical Dictionary/Muller, Henry