La liberazione di Phnom Penh (1979): i vietnamiti e la caduta dei Khmer Rossi