demolition of the Pioneer