https://www.thedefensepost.com/2020/06/01/indonesian-policeman-killed-by-sword-wielding-militant/