(Bloomberg) – The world’s biggest cruise lines have roughly doubled the number of lobbyists they’re dispatching to congressional offices and several federal agencies this year. But as they try to resume sailing from U.S. ports, one of their most effective targets has been the White House. A former...