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