The other mysteriously missing vessel this week: a North Korean-flagged oil tanker