A Naval Biographical Dictionary/Mitchell, William