Ships arrived at Gibraltar on 31 July coming from the west according to the Kriegsnachrichten of the Chef des Admiralstabes der Marine dated Berlin 6 August 1917

An item reported the arrival at Gibraltar on 31 July of 1 with 2 guns armed British steamship and 1 with 2 guns armed French steamship coming from the west

Source

Bundesarchiv RM-40-622