20091201 city.rajkot: Whale shark saved off Junagadh coast