Little Green Lies: Optimal environmental regulation with partially verifiable information