collective term for all of the military forces or service branches of the sultanate of Brunei Darussalam