the english channel is between england and mainland europe