En cuántos km2 es menor la superficie del océano Ártico que el Antártico?