20151007 world.rest-of-world: Pemex says evacuated 85 workers after gas leak at Mexico platform