And an extra budget at the end of November

Info comes from Japanese media, Kyodo, via Reuters headlines.