Ron DeSantis files paperwork for US presidential campaign

Filings come ahead of official campaign launch as Florida governor challenges Trump for the 2024 Republican nomination.