LOS DATOS DEL BOJ SUGIEREN QUE JAPÓN INTERVINO EN EL MERCADO DE DIVISAS EL 12 DE JULIO