I wonder if a semistalbe K3 surface over a $p$-adic field has a minimal semistable model. I guess yes but I do not find any reference.

Also, if we have a semistable K3 surface with a log structure, there exist a minimal log semistable model?

Thanks.