Lockheed Martin buys Sikorsky for US$9 billion