Greece dispatched 10,000 troops to Cyprus to counter a possible Turkish invasion