Краски

Всем добрый день
Девочки, в прошлом году отдыхали на море и видела как детки рисовали красками на камнях и потом эти краски не смывались. И что-то я не спросила, что это за краски такие 🤷♀️ может быть кто знает, где такие найти и как они называются !?