Trump to make death penalty mandatory for 'anyone who murders a police officer'