Which equation describes a parabola that opens downward, is congruent to y=x2, and has its vertex at (0, 3)?