United States-International Keyboard Layout with Ctrl dead keys