A Greek Default Would Be a Valuable Lesson in Basic Economics