I'd go HDMI. Converting to DVI can really bite you, some monitors require dual-link DVI to work and that requires an active adapter that you have to plug into USB and they're also rather pricy. And in my case it didn't even work properly, it's a weird 1440p monitor that basically maxes out DVI-D so it has to be pretty much perfect. I had to provide my own modeline with tweaked timings to get a stable picture. And there's the analog VGA pins embedded in the DVI port that some monitors might use as well. It's kind of a mess.
DP to HDMI also requires an active adapter but it's a much more common port these days, adapters are plentiful and cheaper, and you can passively adapt HDMI to DVI (HDMI 1.0 is basically single link DVI on the wire) for really cheap if you ever need to.
Speaking of passive adapters, be careful. It's kind of like USB-C in some aspects: some of them exists solely to physically adapt the port and the source device knows to switch protocol and there's competing ways to do the same thing. So you can get a passive DP to HDMI and end up with nothing. Check what the dock supports and what your monitor supports.