Thank you so so much!
The IRS also sent me this link and suggested that the withdraw date will be automatically adjusted. Just to be on the safe side though, I'll follow your suggestion.
https://www.irs.gov/newsroom/payment-deadline-extended-to-july-15-2020