"by Japanese taxpayers,"