Iranian oil and North Korean coal: US calls for tougher checks on maritime trade and finance