It’s hard to put a dollar value on a dead sea turtle. Impossible, actually. Estimates of royalties owed to the US taxpayer for the lost oil amount to around $35 million. Chump change. Lurking somewhere offstage is the specter of…