Welcome to Muvipix, Wildcat! I saw your other thread. You've definitely come to the right place. I'm older than you, still consider myself a beginner, and have forgotten more than I've learned so I keep having to come back to figure out how to do things I should already know. Used to know. Lots of patience and kind people here.
I'm no computer expert. Is an HP Envy a laptop? Do you plan on taking it with you to Europe? How long will you be there? You will need a way to transfer your images from the camera's card to something else. We spent a week in the Bahamas. The day before we left I received a portable hard drive to store my images. Cards were smaller back then but the card I took with me was a pretty large one. Arrive in Freeport and the portable hard drive malfunctioned. I filled my card quickly and then had to look for a camera store. The only card they had was very small but VERY expensive. I had to forget RAW files and shoot only jpegs. Not a total disaster, but really disappointing. (I wasn't shooting video then.)
Considering 4k files, they are HUGE. Yesterday I shot 75GB of 4k files in a relatively short period of time. I've filled a 3TB drive, a 4TB drive and now I'm working on an 8TB drive. I delete a lot. At the price of 128GB sdxc cards... well, you'll have to have a way to transfer files from your card to something else.
Now that we're not in the other thread, I've forgotten which camera you said you have, but it shoots 4k, right? Think about one of the places you plan to visit in Europe. Consider how much time you might be filming at any one location. Maybe half an hour? That would make a rather large file. Perhaps you can try shooting some 4k now, say 5 - 10 minutes and see if your computer can handle it.
If you are planning on taking your laptop, I've heard that European plugs and receptacles are different. Be sure to take the right kind with you. And make sure your airline of choice will allow laptops on the plane. Oh, and I (again I'm not an expert) think your CPU number looks pretty fast but I would max out the RAM with the best you can.
You may want to consider shooting High Def for most of your footage and save 4k for scenes that are truly special. Or shoot 4k, figure out a way to save it to a disc. There are some that can save 4k footage, and then for now edit in High Def, saving the 4k for future editing when you have a more powerful computer and 4k televisions are the norm. I have a BluRay burner that is supposed to be able to record 4k, and discs to write them to. I'll drag everything out and let you know what they are. The burner was not particularly expensive. The discs are.
again, welcome!