in summary, market caps for coking coal are:AKM $384mXAM $215m (if ignoring lowest rank thermal coal)CEO $98m