How Indonesia and the Philippines Solved Their Maritime Dispute