Mermaids visit summer school students at Jefferson Elementary