The 2019 operation, greenlit by President Donald Trump, sought a strategic edge. It left unarmed North Koreans dead.