“Please give us ammo”—the US Marines’ military travel guide to North Korea