Best crops for Jaipur in extreme summer?

Jaipur summers (April–June, 42–48°C) allow only the hardiest crops: okra, cluster beans, and ridge gourd. Use 70% shade cloth, whitewash pot exteriors to reflect heat, water at dawn and dusk only, and mulch 5 cm deep. Many experienced Jaipur gardeners take a summer growing break.