U.S. coking coal exports decline in April