20180706 city.jaipur: Wall caves in; worker dies