Emittente: ‘THAI OIL PUBLIC COMPANY’