US' Mattis: N.Korea military solution would be 'tragic on an unbelievable scale'