Les Philippines saisissent un navire nord-coréen.