Superman II is a 1980 British-American superhero film directed by Richard Lester, based on the DC Comics character Superman, it is a sequel to the 1978 film "Superman" and stars which American former boxer and actor?