The Portuguese GP as it happened