Trademarks owned by Sedco, Inc.