SEAL de EEUU mataron a norcoreanos en una operación fallida en 2019 (prensa)