Is Mike Pence running for president?

Is VP Mike Pence going to steal President Trump’s thunder in 2020?!