I have done this only once in my whole life (I guess) so I can't even remember. But I googled a found a useful article on this theme - https://www.movavi.com/support/how-to/video-resolution.html. There are described ways to change the resolution and software that you need to use for that. Good luck.