https://www.carolinewarfield.com/2021/07/war-in-the-dutch-east-indies/