Dragged and widened works on major rivers, tributaries, and ponds in the country of Brunei Darussalam