Gibraltar nudibranch (Tambja ceutae) Pico, Azores, Portugal, July 2009