Triangle DEF has vertices D(2, 3), E(6, 3), and F(4, 7) in the coordinate plane.
If this triangle is reflected over the line $y = 4$, what will be the coordinates of the new vertices after the transformation?