Redhat Inc is in the US, but Redhat Ltd is Europe (and more I think). I don’t know what would happen if the parts of the company had to take different paths for a while. I would assume all the non-US stuff would want to keep making money while the US slogs through crazy…
You may need to try a few to make the most of your hardware config. Make a few bootable USB drives, and spend an evening trying your options I’d say at least pop!os, manjaro and nobara to cover the main distro bases. But everything is pretty good these days and everything has corner cases that cause trouble.
My son’s first computer was Linux. ;) He was still toddling but wanted to hit my computer, so I set up an old one for him.
I was 14 in 1991 I should add. I switched from minix not long after I could get Linux to boot. I think that was actually 1992. Both the computer and Linux weren’t very good back then …