Who could play Mike Pence in a biopic?