So not to beat this to death, on the outbound back to the States (USA) routing from EIS thru SJU no portal is needed to upload anything, you just have to present a negative Covid test (along with a Passport of course) and nothing else such as Vax card, any other documentation, etc.?