The UN partition plan of 1947