20180204 world.middle-east: Bodies of around 20 migrants recovered from sea: Spanish official