A Naval Biographical Dictionary/Miles, Edmund