Text this: Doubled Shapiro steps in a dynamic axion insulator Josephson junction