A Naval Biographical Dictionary/Hast, Philip