Can anyone tell me how much reserves of coal they have that they have just sold for $1.5 bill? I'm new to this stock and can't find it