Only US taxpayer money will help. Or else they would just fix it and shut up.
Lemme guess... the only way to solve this is to raise taxes..