If Mario was on the ps4 what game would it be?