Trump: ‘It Will Be a Very Sad Day for N. Korea’ if US Attacks