it says to bring
1.Travel documents
2.vaccine record
both 1 and 2, no problem
3.Negative test result, plus your positive PCR test result
However, on the app of royal caribbean, it says bring only travel documents and vaccine record. So it appears that one depaartment has not updated the other.