The vertices of a right triangle are (–3, 5), (4, –1), and (4, y).
What is the value of y?