Costa Rica announces ban on fishing of hammerhead sharks