The US has lifted its ban on imports of Costa Rican shrimp, saying it was satisfied with the Central American country's measures to prevent marine turtles being caught by shrimp fishing boats.