The Hapsburg and French players are allies. The French fleet consisting of 3 French Squadrons spends 2 CP to move from the Barbary Coast to Gibralter to the Atlantic.
Is this legal?
Legal Supporting Documentation:
Section 2.5 under Ports wrote:
However, if the two-zone port between these zones Messina, Gibraltar, or Istanbul) is under friendly control, naval units may move into this port from one zone during one Naval Move action and then back out to either zone during a later Naval Move action.
Illegal Supporting Documentation:
Section 16.1 2nd Bullet wrote:
Naval units may only move to ports controlled by another player if enemy naval units are present in that port. (This restriction prohibits naval moves into a port controlled by a major power ally.)
Edit: Emphasis added.