Yes, K-9 has been shut down and Thunderbird for Android is what used to be K-9.