インドネシア海軍のバーケンチン、「デワルチ」