https://www.taxconnections.com/taxblog/expatriation-what-happens-to-the-principal-residence/