Yes, the coins are gone. There is no way to get them back, they are property of the United States.