A Naval Biographical Dictionary/Willis, William Alexander