A Naval Biographical Dictionary/Henning, Alexander