A Naval Biographical Dictionary/Miller, David