All taxes are compulsory - "_forced_" - as you put it. Who would pay them if they weren't? However, they are free to invest it wherever they choose, and they

All taxes are compulsory - "_forced_" - as you put it. Who would pay them if they weren't? However, they are free to invest it wherever they choose, and they have chosen the US. That is not "mandatory repatriation".