US$675 million revolving credit line by Norwegian Cruise Line