Óscar Arias, presidente de Costa Rica.