The first successful British/American space satellite was launched in April 1962, named after a character in Shakespeare's The Tempest?