Se derivaba, naturalmente, del nombre del país, Costa Rica.