Puerto Rico: thousands protest gas pipeline