Has anyone been to Porto Santo in August and can tell me what the weather was like? & any other opinions or advice! Thanks