Hurricane Irma further reduces already shrinking Florida citrus production