Revolutionary movements in Thailand and the Philippines today (National Democratic Front, 1980)