Should the US retaliate against North Korea for murdering a US citizen?