Fear factor: do dugongs (Dugong dugon) trade food for safety from tiger sharks (Galeocerdo cuvier)?