petro agenda en costa rica