Mattis: Diplomacy hasn’t failed with North Korea