Public Theater's 'Tempest' Musical Closes Central Park Run Before Renovations