A short history of Ocean Station Papa and Line P