I actually really like VeraCrypt. Last time I used it was 5 or 6 years ago and the UI looked like something straight out of the 90s, which is a good thing IMO.