https://scottiestech.info/2016/03/06/windows-linux-dual-boot-how-to-shrink-a-windows-disk-the-easy-way/