Can anyone tell me if during the late Pope John Paul IIs funeral was all aircraft banned from entering the airspace around Vatican City?