Social security contributions?

if a person who is from another country works in the US and has contributed $15,000 through pay deductions into the US social security fund leaves the US, are they entitled to a refund of that money ? or can the US keep it and why?