A Naval Biographical Dictionary/Mitchell, Richard