20130507 city.ahmedabad: Fisherman rescues whale shark pup