Arch Coal reports record coking coal margins in Q1