porco rosso ending explained