Leak-detecting dye