In November 2024, JERA received a recommendation on its market manipulation of the wholesale electricity market. What has happened since then? Has JERA gotten a penalty?