Miami gets the Orange Bowl ready for Castro’s death.