A Naval Biographical Dictionary/Mitchell, George