wrestlemania starring dwayne the rock johnson as vin diesel