Ron DeSantis beendet seine Kandidatur als US-Präsidentschaftsbewerber.