Question: Carnival Vista is a cruise ship built for cruise line based in which US state ?

Context paragraphs:
RMS Transvaal Castle: RMS "Transvaal Castle was a British ocean liner built by John Brown & Company at Clydebank for the Union-Castle Line for their mail service between Southampton and Durban.  In 1966 she was sold to the South Africa-based Safmarine and renamed S.A. Vaal for further service on the same route.  Following cessation of the service between the UK and South Africa in 1977 the ship was sold to Carnival Cruise Line and rebuilt in Japan as the cruise ship SS "Festivale, re-entering service in 1978.  In 1996 she was sold to Dolphin Cruise Line and renamed IslandBreeze.  The vessel spent some of her time under Dolphin Cruise Line ownership on charter to Thomson Cruises.  In 1998 the ship was sold to Premier Cruise Line and renamed SS "Big Red Boat III.  Following the bankruptcy of Premier Cruise Line 2000, "Big Red Boat III" was laid up until 2003 when she was sold to the scrappers in Alang, India.  The ship became The Big Red Boat" for her final voyage to the scrapyard.

Carnival Cruise Lines Tycoon 2005: Island Hopping: Carnival Cruise Lines Tycoon 2005: Island Hopping is a 2004 cruise-line business simulation game inspired by the cruise line Carnival Cruise Lines and developed by Deck13 under the Artex Software label, and published by Activision Value.  The primary objective of the game is to offer cruise line services to customers.  The game itself offers what would be expected from a typical tycoon game.  Users are in command of the ship and are responsible for the task of purchasing buildings and designing the layout.  While gaining popularity, users also have an advantage to buy more ships and have a large fleet of ships going to exotic destinations.  The game included Carnival logos and the entertainment and lounges available to add to the ships were named as per Carnival Cruise Lines standards.  The ships that can be worked with in the game are: "Sunshine" (a fictional cruise ferry only accessible as the first ship in the career mode), "Carnival Celebration", "Carnival Paradise", "Carnival Legend", and the "Carnival Conquest".

Majesty Cruise Line: Majesty Cruise Line is a Norwegian cruise line probably known for owning the Norwegian Majesty from 1992 to 1997.  Majesty Cruise Line was a more upmarket brand created by Dolphin Cruise Line in 1993.  Their first ship, the Royal Majesty, was originally ordered by Birka Line for their 24-hour cruises out of Stockholm.  Following the bankruptcy of builders Wärtsilä, the contract was resold to Majesty Cruise Line and the vessel was completed as Caribbean cruise ship Royal Majesty in 1992.  She initially worked three- and four-night cruises out of Florida, but in 1995 opened a new summer Boston-Bermuda route, terminating at St George's rather than the usual Hamilton in Bermuda.  Royal Majesty returned to Florida in the winter.  In June 1995 she ran aground on Rose and Crown shoal of Nantucket Island, due to a combination of faulty GPS and inadequate watch being maintained.  Royal Majesty was 17 miles off course.  She remained aground for 24 hours before tugs towed her off.  In 1997, a second ship was added to the fleet, the Crown Majesty (previously Crown Dynasty).  For the 1997 season, she operated cruises which had already been arranged for Crown Dynasty, but at the end of that season both ships passed to Norwegian Cruise Line (NCL).  Royal Majesty was sold to NCL, being renamed Norwegian Majesty, and soon received a similar lengthening to Norwegian Wind/Dream.  Crown Majesty which had been chartered from Effjohn International, had her charter transferred to NCL.

Princess Cruises: Princess Cruises is a cruise line based in Santa Clarita, California, in the United States and incorporated in Bermuda.  Previously a subsidiary of P&O Princess Cruises, the company is now one of ten cruise ship brands owned by the world's largest cruise ship operator the American/British Carnival Corporation & plc and accounts for approximately 19% share of its revenue.  It is part of Holland America Group, which controls the three Carnival brands based on the West Coast of the United States.  The line's ships cruise worldwide and are marketed to both American and international passengers.  The company was made famous by "The Love Boat" TV series, in which its ship, "Pacific Princess" was featured.  In May 2013, "Royal Princess" became the flagship of Princess Cruises; she was followed by two sister ships, "Regal Princess" in May 2014 and "Majestic Princess" in the spring of 2017, with three more ships of the class under construction.

Carnival Cruise Line: Carnival Cruise Line is the world's largest cruise line based in Miami, Florida in the United States.  It is a subsidiary of the American-British company Carnival Corporation & PLC, one of the largest travel and tourism companies in the world.

MS Regal Empress: MS "Regal Empress was a cruise ship that recently operated for Imperial Majesty Cruise Line.  She was built in 1953 by Alexander Stephen & Sons at Glasgow, Scotland as the ocean liner SS "Olympia for the Greek Line.  Greek Line withdrew the "Olympia" from service in 1974.  Following an extended lay-up period and reconstruction into a diesel-engined Caribbean cruise ship, the ship re-emerged in 1983 as MS "Caribe I" for Commodore Cruise Line.  In 1993 she was sold to Regal Cruise Line and received her final name.  She operated for Imperial Majesty Cruise Line from 2003 until 2009.  The "Regal Empress" was also the last vintage passenger ship to regularly sail from the United States.

P&amp;O Cruises: P&O Cruises is a British/American cruise line based at Carnival House in Southampton, England, operated by Carnival UK and owned by Carnival Corporation & plc.  Originally a constituent of the Peninsular and Oriental Steam Navigation Company, P&O Cruises is the oldest cruise line in the world, having operated the world's first commercial passenger ships in the early 19th century.  It is the sister company of, and retains strong links with, P&O Cruises Australia.  P&O Cruises was de-merged from the P&O group in 2000, becoming a subsidiary of P&O Princess Cruises, which subsequently merged with Carnival Corporation in 2003, to form Carnival Corporation & plc.  P&O Cruises currently operates eight cruise ships with a total passenger capacity of 14,970 and a 5% market share of all cruise lines worldwide.  Its most recent vessel, MV "Britannia", joined the fleet in March 2015.

Fiesta Marina Cruises: Fiesta Marina Cruises was an experimental short-lived subsidiary cruise line of Carnival Cruise Lines.  The cruise line was marketed toward the Latin/Spanish-speaking population, residing in the United States and abroad.  The cruise line sailed out of San Juan, Puerto Rico and Caracas, Venezuela.  The cruise line operated only one ship, the "Fiesta Marina".  The ship was named in Miami, Florida on October 18, 1993.  The cruise line was a total marketing failure and was dissolved in September 1994.  The "Fiesta Marina" was sold to Epirotiki Cruises to sail as the "Olympic".  In 2007, the Carnival Corporation started a joint-partnership with the Orizonia Corporación to start a new cruise line called Iberocruceros.  Just like Fiesta Marina, the new cruise line was marketed toward the Latin/Spanish-speaking population.  The cruise line operated out of South America and Europe, independently from Carnival, but was managed by Costa Cruises.  Iberocruceros was closed in 2014 and its ships transferred to Costa or elsewhere.

Carnival Vista: Carnival Vista is a cruise ship built for Carnival Cruise Line,

Ocean Star Cruises: Ocean Star Cruises is a cruise line based in Mexico City, Mexico.  It was founded in 2010, the first Mexican cruise line.  The first ship in its fleet was the MV "Ocean Star Pacific" (launched on 9 July 1970 for RCCL), purchased in December 2010 to become the first ship in the fleet.  She entered service on 10 April 2011.  The cruise ship sailed the waters of the Mexican Riviera, with embarkation ports at Acapulco and Manzanillo.  The company planned to expand its fleet to include six additional newly built vessels in the next 5 years.  Ocean Star Cruises no longer operates cruise ships.

Supporting paragraphs: Carnival Vista Carnival Cruise Line
Answer: Florida