Microscopic examination of polished coke surfaces etched by ion bombardment