The Renville Agreement between the Netherlands and Indonesia is ratified.