Original: Miami would eventually become the host for WrestleMania XXVIII .
Simplified: Miami was later given WrestleMania XXVIII .