Elon no longer world's richest before August?

This market will resolve to "Yes" if Elon Musk is any rank other than #1 on the Bloomberg Billionaires Index at any point between June 5, and July 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". The resolution source for this market will be the Bloomberg Billionaires Index (https://www.bloomberg.com/billionaires/). If this source becomes permanently unavailable in that time period, the Forbes Real-Time Billionaires List will be used (https://www.forbes.com/real-time-billionaires/#6aa3f0213d78). If both sources become permanently unavailable, this market will resolve to "No".