A Naval Biographical Dictionary/Miller, Alexander