<p>El senador Ted Cruz lanza oficialmente su carrera presidencial.</p>