If China attacked Taiwan, what would Trump do?