Trump troop cut shows need for European defense push, top EU official says