Gerbang Dung pada 1940-an, sebelum dilakukan perbesaran (pada 1952)