temporary court injunction in 1969 and legal battles through the 1970s. The project's planning and scale changed multiple times, and in 1978, Mineral King was annexed into Sequoia National Park, ending any possibility of developing a resort there. Disney had plans to build a park named Disney's America in Haymarket, Virginia, but abandoned the idea in 1994. On September 28, 1994, Michael Eisner announced Disney was canceling its plans after a bruising national media fight with Protect Historic America, and aggressive local opposition in Virginia from Protect Prince William and other citizen groups. Disney had plans to build a smaller Disneyland-style theme park in Sydney, Australia, between 2007 and 2008, with the proposed name "Disney Wharf at Sydney Harbour", but the concept was abandoned due to mixed responses in the New South Wales Government. In early January 2011, conflicting reports emerged regarding Disney's involvement in a proposed entertainment complex in Haifa, Israel, whose plans include a small (30,000 square meter) amusement park scheduled to open in 2013. The project was set to be partially funded by Shamrock Holdings, a Disney-affiliated investment firm. In the wake of reports from Israeli business newspaper, Globes and industry newswire Amusement Management that Disney itself would be involved in the project's development, a spokesperson for Walt Disney Parks and Resorts clarified to Fast Company that Disney did not have any plans to be involved in the building of the park. Disney intellectual properties outside Disney parks Due to its acquisitions of Marvel Entertainment in 2009, Lucasfilm in 2012 and 21st Century Fox in 2019, some Disney-owned franchises are represented in its competitors' parks. Marvel Entertainment Marvel Super Hero Island, a themed land featuring characters and settings from Marvel Comics, has operated at Universal Orlando Resort's Islands of Adventure park since 1999, as well as the Islands of Adventure, cloned ride The Amazing Adventures of Spider-Man at Universal Studios Japan since 2004. Under Marvel's 1994 agreement with Universal Parks & Resorts in regional terms, none of the Marvel characters and other persons related to such characters (e.g., side characters, team members, and the villains associated with the Avengers, Fantastic Four, X-Men, Spider-Man, etc.) connected with Islands of Adventure and Universal Studios Japan can be used at Walt Disney World and Tokyo Disney Resort. The Disneyland Resort, Walt Disney World Resort, and Tokyo Disney Resort also cannot use the Marvel brand name as part of an attraction