We are in a similar situation with an 8/23 departure. Everything I’ve read says the PCR tests are the ones you can test positive on for a long time after recovery and both the precruise and onboard (for us because of Bermuda) tests can be antigen tests. I’m hanging my hat on that because Bermuda doesn’t have recovery certificates as an option anyway.