Singapore-Malaysia water dispute: Lee, Mahathir ‘open’ to arbitration