Devon auctions U.S. Gulf field stakes to Maersk for $1.3B