USS Higgins makes port call to Brunei