Repairs being made to Carnival Triumph cruise