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