It's official, Mike Pence is Trump's VP running mate.