Costa Rica and Antigua file for WTO arbitration