Singapore, Malaysia, Indonesia hợp tác tuần tra chung ở Biển Đông