John Paul II in super Mario 64