For a cardinal $\kappa$ such that $V_{\kappa}$ satisfies Vopenka's principle as a first-order axiom schema, am I allowed to say "first-order Vopenka cardinal", or is there any kind of standard term for it?