On a coordinate grid, triangle DEF has vertices D(4,1), E(6,3), and F(4,5). First rotate 90 degrees counterclockwise about point O(4,3); then reflect across the horizontal line y = 4. Which choice shows the final image of triangle DEF?