Two poset polytopes are mutation-equivalent - Akihiro Higashitani (2020)