Colombo’s seagoing crocodiles under pressure after diver’s killing