It’s huge! World’s largest vessel launches from Dutch port