HMS DEVONSHIRE LEAVES PORTSMOUTH [Allocated Title]