For Carlos' bonds, if they were issued the first day of 2001 (10% face price, market rate of 12%) and the first year's interest was paid on December 31, 2001, the entry to record that interest would include... A credit to cash of $11,134.56 A credit to interest expense of $10,000 A credit to bond discount of $7,574.60 O A credit to cash for $10,000