What else would you call them?
“Pens.” Pens, by definition, come equipped with ink. Otherwise, they’d be “pencils.”
“Ink Pens” is redundant, and it surprises me to hear a teacher call them that. But I am quibbling, so don’t take me seriously.