See Deuteronomy 2:1. The “Red Sea” here and in Numbers 14:25 (as well as in 1 Kings 9:26 and Jeremiah 49:21) is certainly a reference to the Gulf of Aqabah as generally recognized by critical scholars. See, for example, Noth, Numbers: A Commentary (Philadelphia: Westminster, 1968), p. 110.