Coto Mixto: el microestado que existió entre España y Portugal