Should Malaysia continue to fight for Pulau Batu Puteh?