1st cruise ship docks in Puerto Rico since pandemic began