Polisen sökte igenom António Costa bostad på tisdagen.