20180724 auto.miscellaneous: F1 chiefs rule out Miami Grand Prix in 2019