The TCJA: Double taxation for US citizens living abroad