Republik Indonesia, propinsi Sunda Kecil (Djaw.Pen.Prop.Sunda ketjil, 1953)