The government had no idea what it's worth (and who did in 2002?), so they ran an auction. Should they have decided 'oh, that's too much, let's just charge half

The government had no idea what it's worth (and who did in 2002?), so they ran an auction. Should they have decided 'oh, that's too much, let's just charge half of that?'