2011 Ford F150 radio stopped working after driving through standing water

Husband and I had to drive through some standing salt water and his radio stopped working right after. The GPS is working fine but the radio won’t pick up a local or satellite signal. Do you think the problem is related to driving through the water or just coincidence? Thanks!

I think it’s coincidence, as the radio and its hardware would be pretty much impossible to splash…but has he checked the fuses?

how deep was the water?